Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
751	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
752	Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling Makoto Kanazawa National Institue of Informatics Tokyo, Japan http://research.nii.ac.jp/˜kanazawa/ Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-29 20:41:55 Mathematics Applied mathematics Categorial grammar Lambda calculus Context-sensitive grammar Orbifold Formal languages Theoretical computer science Models of computation
753	Web 2.0 and the Isolation Problem Case Study : FBJS Formal Semantics of JavaScript Achieving the Isolation goal Ongoing Language Based isolation of Untrusted JavaScript Ankur Taly Add to Reading List Source URL: w2spconf.com Language: English - Date: 2012-02-07 16:10:05 JavaScript Software engineering Computer programming Web 2.0 Computing Cross-platform software Scripting languages
754	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
755	Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Software engineering Computing Models of computation Nondeterministic finite automaton Regular language FO Regular expression J Deterministic finite automaton Automata theory Formal languages Theoretical computer science
756	LSA 354: Statistical Parsing: Problem Set [Some of these problems are borrowed with thanks from Michael Collins and Regina Barzilay.] Question 1 Let’s use a very simple grammar (where S is the start symbol, and termina Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-07-10 03:17:11 Theoretical computer science Compiler construction Programming language implementation Bioinformatics Stochastic context-free grammar Complexity classes Left corner Parse tree Parsing Formal languages Linguistics Statistical natural language processing
757	Makhuwa grammar: how to link description and theory Jenneke van der Wal, University of Cambridge Let’s go to Mozambique and g Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2012-10-19 18:38:22 Grammar Agglutinative languages Makhuwa language Bantu languages Inversion Mozambique Formal grammar Syntax Language Linguistics Languages of Mozambique Makua languages
758	Microsoft Word - IJDLS.doc Add to Reading List Source URL: aye.comp.nus.edu.sg Language: English - Date: 2010-07-06 02:42:00 Open formats Formal languages Markup languages Computational linguistics Optical character recognition Comparison of optical character recognition software Portable Document Format XML HTML element Computing Software Computer file formats
759	V7/x86 Assembler Reference Manual Robert Nordier Nordier & Associates www.nordier.com The V7/x86 assembler as is an x86 (IA-32) assembler capable of handling Add to Reading List Source URL: www.nordier.com Language: English - Date: 2007-10-03 18:18:11 Binary arithmetic Formal languages Source code String literal MAD .bss Octal String Value Computing Software engineering Computer programming
760	N e w Figures of Merit for Best-First Probabilistic Chart Parsing Sharon A. Caraballo* Eugene Chamiak* Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 20:19:04 Software engineering Grammar Formal grammar Context-free grammar Parsing Chart parser Terminal and nonterminal symbols LL parser LR parser Formal languages Compiler construction Programming language implementation

UPDATE